University of Edinburgh School of Informatics - PDFSEARCH.IO - Document Search Engine

University of Edinburgh School of Informatics
Results: 305

#	Item
221	The Role of Initiative in Tutorial Dialogue Mark G. Core and Johanna D. Moore and Claus Zinn School of Informatics University of Edinburgh, 2 Buccleuch Place Edinburgh EH8 9LW, UK [markc jmoore zinn]@inf.ed.ac.uk Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-08-21 08:52:16 Learning Knowledge Teaching Tutor Dialogue Intelligent tutoring system Socratic dialogue Question Socratic method Education Fiction Educational psychology
222	Predicting Success in Dialogue David Reitter and Johanna D. Moore dreitter \| jmoore @ inf.ed.ac.uk School of Informatics University of Edinburgh United Kingdom Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-08-21 08:52:15 Cognition Memory Perception Priming Mental processes Psycholinguistics Syntactic Structures Corpus linguistics Mind Cognitive science Linguistics
223	Link Lens: An Enhanced Link User Interface for Web Broswers Dominic Stanyer and Rob Procter School of Computer Science Division of Informatics Edinburgh University Add to Reading List Source URL: ui4all.ics.forth.gr Language: English - Date: 2007-11-27 14:03:54 Technical communication Information science HTML Information Age World Wide Web Hyperlink Usability Data URI scheme Quality of service Computing Internet Human–computer interaction
224	A Continuum from Mixtures to Products: Aggregation under Bias Amos J. Storkey Zhanxing Zhu Jinli Hu School of Informatics,University of Edinburgh Add to Reading List Source URL: bigml.cs.tsinghua.edu.cn Language: English - Date: 2014-06-22 05:40:20 Probability and statistics Kullback–Leibler divergence Rényi entropy Expectation–maximization algorithm Entropy Perplexity Principle of maximum entropy Statistics Information theory Statistical theory
225	Incorporating Speaker and Discourse Features into Speech Summarization Gabriel Murray, Steve Renals, Jean Carletta, Johanna Moore University of Edinburgh, School of Informatics Edinburgh EH8 9LW, Scotland Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-08-21 08:52:15 Natural language processing Computational linguistics Narratology Information retrieval Automatic summarization Multi-document summarization ROUGE Mode Speech recognition Literature Science Fiction
226	Event Extraction in a Plot Advice Agent Johanna D. Moore School of Informatics University of Edinburgh 2 Buccleuch Place Edinburgh, EH8 9LW Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-08-21 08:52:15 Semantics Natural language processing Grammar Predicate Advice Naive Bayes classifier Latent semantic analysis K-nearest neighbor algorithm Algorithm Statistics Mathematics Applied mathematics
227	A Language for Biochemical Systems: Design and Formal Specification Michael Pedersen and Gordon D. Plotkin LFCS, School of Informatics, University of Edinburgh Abstract. This paper introduces a Language for Biochemical Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-22 11:50:31 Signal transduction Protein kinases Mitogen-activated protein kinase Arc Petri net Gene expression Messenger RNA Biology Biochemistry Molecular biology
228	Punctuation has a point, so use it! Robin L. Hill1 and Wayne S. Murray2 1 Institute for Language, Cognition and Computation, School of Informatics, University of Edinburgh Add to Reading List Source URL: tinytocs.org Language: English - Date: 2013-04-02 18:41:25 Phonetics Phonology Prosody Typography Speech synthesis Comma Share-alike Full stop Prosodic unit Linguistics Punctuation Science
229	The Use of Rippling to Automate Event-B Invariant Preservation Proofs Yuhui Lin, Alan Bundy, and Gudmund Grov School of Informatics, University of Edinburgh, UK Abstract. Proof automation is a common bottleneck for indu Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Rippling IsaPlanner Theorem Unification Mathematical proof Automated theorem proving Logic Mathematics
230	Write-limited sorts and joins for persistent memory Stratis D. Viglas School of Informatics University of Edinburgh, UK [removed] Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-12-06 16:23:06 Theoretical computer science Analysis of algorithms External sorting Hash join Dynamic random-access memory Algorithm Merge sort Big O notation Mathematics Sorting algorithms Order theory

UPDATE